package de.hsb.ai.util.map;

import java.util.Set;

import org.jgrapht.graph.Subgraph;

import de.hsb.ai.util.map.ScotlandJadeMapHelper.ScotlandJadeEdge;
import de.hsb.ai.util.map.ScotlandJadeMapHelper.ScotlandJadeVertex;

public class ScotlandJadeSubMap extends Subgraph<ScotlandJadeVertex, ScotlandJadeEdge, ScotlandJadeMap> {
	
	private static final long serialVersionUID = -6274414725039298445L;

	public ScotlandJadeSubMap(ScotlandJadeMap base) {
		this(base, null, null);
	}

	public ScotlandJadeSubMap(ScotlandJadeMap base,
			Set<ScotlandJadeVertex> vertexSubset, 
			Set<ScotlandJadeEdge> edgeSet) {
		super(base, vertexSubset, edgeSet);
	}

}
